3 ms·

Proof sketch is not proof