It is inferred automatically, or ought to be, but (elsewhere) we have opted to make it explicit by convention.