A graph-theoretic cosmological argument using Set theory and actualist S5 logic | Hacker News Reader