3 ms·

Thank you for confirming this. These kind of errors drive me crazy when I try to work through proofs on my own.