True. The determination of what is an input an what is an output is made by the goal, and how it is handled, not by the axiom, which just states a fact.