This is a good opportunity to use the language the Python community
uses for double underscore methods — dunders! For instance, from PEP8
itself:
https://www.python.org/dev/peps/pep-0008/#module-level-dunder-names

It's also just so much easier to say and if students say it from A1 then
all the better.

needs to be tested.

than or equal to.