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