It seems intuitive to me that the magic methods for overriding the +, -, <, ==, >, etc. operators should have no sideffects on their operands. Also, that == should be commutative and transitive, that > and < should be transitive, and anti-commutative.<div>


<br></div><div>Is this intuition written up in a PEP, or assumed to follow from the mathematical meanings?</div><div><br></div><div>- Andrey</div>