Yes and we should not forget that min and max are not just methods with names, they have a contract too and should behave in a certain way. For these examples thus might not seem like a big deal, but the contract must apply for all methods, even non-trivial ones.