The protractor axiom