All computer science is performed in valid proofs, and as this is Hackernews you know it is not computer science, and therefore done in fallacies. qed