MATH.7:8 - Common Anti-Patterns and How to Avoid Them
Change the labels and retain an incompatible operation. In :5.1 ordinary addition on the new labels solves a different equation. Construct the receiving operation and compare any required incumbent.
Recover source elements and assume every target element is covered. Establish the second inverse equation or restrict the target to the image, as :4.2 requires.
Transfer every property after checking one operation. The coordinate example preserves addition while squared length needs another formula. Include the quantity or relation used by the requested result.
Choose a familiar operation for a new question. The bit-vector example needs OR for union and XOR for symmetric difference. Translate the operation the question actually asks for.