Red pill axioms