think --> exist --> identity --> review hence by modens tollens not review --> not identity ---> not exist --> not think --> not grading [QED]
hence by modens tollens