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