3 ms·

You want a citation for an axiom?