Brainbow-2 uses Cre excision and inversion to allow multiple expression possibilities in a given construct.
Note that when the condition is expressed using inversion, the conjunction if is omitted.
For example, musicians use the terms transposition and inversion where mathematicians would use translation and reflection.
The proof that the robot will always stay inside its corridor can be performed using interval analysis and set inversion.
Certain condition clauses (if-clauses) can be cast without any conjunction such as if or unless, instead using subject-auxiliary inversion to indicate their meaning.
It is possible to use inversion in any sphere, but the ideas are clearest when considering a sphere with centre at the origin.
Questions (interrogative constructions) are generally formed using subject-auxiliary inversion, again using do-support if there is otherwise no auxiliary.
Note that English and many other languages do not use inversion in indirect questions, even though they would in the corresponding direct question ("Where is Jack?")
(wh-question formed using inversion, with do-support required in this case)
Some models use audio inversion for scrambling.