CIC + EM ⊢ Con(ZF) | Hacker News Reader