Incomplete and Utter Introduction to Modal Logic, Pt. 1 | Hacker News Reader