I deduce you are studying logic: Comments 4 years ago