Aren't axioms just training data that you feed to the model?