Lucant and the Prime Axiom