now , in order for the defendant to be found not guilty by reason of insanity , it must-i repeat , must-be proven that he did not appreciate the difference between right and wrong at the time he killed annabelle .