[minor] Removed some axioms (one of them not true)