I was playing patrick's parabox lately and I wonder about a characterization of different outcomes of pushing the box you're in out of it, or into it and so on... but, in terms of lambda-like recursive functions, i.e. a written theoretical description to make sense of what's going on with patrick's parabox