Axiom Finito

since the contest is over.