On Saturday, 1 May 2021 at 15:14:49 UTC, Mike Parker wrote: > but that's not an optimization, not an inconsistency. > but that's an optimization...