3 ms·

That's not at all obvious. I think first you'd have to prove that all those extra costs "logically follow"...