[math-fun] Apraphulian rope&pulley XOR ?