Follow
Try thinking in a manner that you avoid self-contradiction. We used to value that character, but today it’s way too common.
@garyackerman Brb, going to replace my brain with a Coq interpreter 
Try thinking in a manner that you avoid self-contradiction. We used to value that character, but today it’s way too common.