The whole point of the @property decorator is to compute properties. It's no big deal really, I'm just interested in the design decision in this particular case.