Fixed logical fallacy with checking system