“It is not impossible that in a real dream of sleep, some one may have created an antagonist who beat him in an argument to prove that he was awake.”

— Augustus De Morgan, Formal Logic, 1847