Describir: A Formal Analysis of the Standard Operating Processes (SOP) and Multiple Time Scales (MTS) Theories of Habituation.