It's not an explicit contract, but there must be an implicit one for stuff not to break