Haha I got that :) @Urist is right, I was halfheartedly looking for a logic system in which it could make sense. Still, I would have major issues with the first step as it is shown, but I am wondering about systems where, say, each x <- {..}, then what would be the set, and the probability of the correct solution.
Something I need to be more awake for, and it may be easier to solve without resorting to powers and roots, haha.