basic godel lambda... not 1<->1 though
other pi idea