It is useful to observe that the set of definitionally expanded bridge laws is logically implied by the following sentence, which we may call an auxiliary reduction premise for T: It says that, unless one of the terms,.