3 ms·

Thanks for the explanation. I agree with you that (1) is rather questionable, but to me, (2) seems like a fair tax.