(The previous changes to abc.py were also by him).
Put back a comment about using super() for properties
(I didn't realize this worked).