Additional examples are adjusted to the entries in an automated way - we cannot guarantee that they are correct.
It is also possible to reexpress the nonrelativistic time evolution in terms of propagators which go toward the past, since the Schrödinger equation is time-reversible.
In light of the critical scalings, we can reexpress all thermodynamic quantities in terms of dimensionless quantities.
For classical logics, it is generally possible to reexpress the question of the validity of a formula to one involving satisfiability, because of the relationships between the concepts expressed in the above square of opposition.