The function g is an example of the ' snapback' effect, so named because the state change is not recorded globally in the semantics.
These operations violate the intuitive property of irreversibility of state changes, and section 3 shows an example of where snapback invalidates an equivalence true in the assignment-free sublanguage.
The style, commonly called snapback, has become increasingly popular as fashion accessories.
Snapback is capable of stretching his body to lengths of a maximum 300 feet.
