On Friday, 19 November 2021 at 02:46:58 UTC, Timon Gehr wrote: > > ... > Those are not useful statements. They are not true. That is not a useful statement. It is not true.