Candidates for axiom

Delete All Candidates