Talk:Enoch/@comment-771241-20130720164805/@comment-3155949-20130720222452

Yeah. This is unsat.