Sick first order of reasoning failure