various models have been proposed to account for habituation including the stimulus-model comparator theory formulated by evgeny sokolov, the groves and thompson dual-process theory, and the sop (standard operating procedures/sometimes opponent process) model formulated by allan wagner.