Just make sure that no other variables like any blasphemous globals are declared before the one true declaration. (Returning false anonymous) nested functions, which may cause side effects, seem necessary unless the interpretation is such that the only implementation is near to the one combinator basis https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.....