Andrew Miller Fix incorrect axiom that undermines game soundness

Latest commit 7fccfe0

Dec 30, 2017