On the other hand, maybe they could violate them left and right and let the code sort it out.