Formal axiomatic divination | Hacker News Reader