3 ms·

you do get proofs in HS geometry