Haha I got that :) @Urist@lemmy.blahaj.zone 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.