Ockham's distinction between formal and material consequences shows that substitutional invariance a...