. . "evidential logical macro assertion on an axiom" .