I'm deducing an Eiffel and design-by-contract influence from this, for some reason.