add axiom_numchars to inject (numchars _ _ 0 = 0)