Thread:Agunachopace/@comment-26810231-20160704015048/@comment-2058180-20160705023548

Well, I liked the proposition part. Like p implies q or the De Morgan laws...