Action:
|bind "x" to false hence ||recursively bind "x" to true |before ||give the datum bound to "x"
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]