Forall x: An Introduction to formal logic | Dark Hacker News