@tedmielczarek the whole of the law is, "don't leak implementation details" - the rest is just elaboration