I was worried this Neurocell would make an axiom trivialized.