Comment by killin_dan

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