I was contemplating pwc372, p2 and came up with “- 1+&/-/'(&'(?x)=
x)@0 -1” (goal). Conceptually I like it, but maybe it can be simplified further? x)@0 -1” (goal). Conceptually I like it, but maybe it can be simplified further?