This should become an axiom!