Action:
recursively ||give the integer bound to "x" |then ||bind "x" to it
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]