Will have to look up reyos thing you mentioned, but yeah, it's a flavor of the usual type of trap, using a second order type of logic expressed in what was assumed to be first order...maybe something like that.