3 ms·

fair enough, hence the upvote, but then again, a formal verifier would refuse to follow the erroneous step in your derivation...