throwaway210426

no profile record

comments

3 месяца назадdiscuss

It was silly at the time but even sillier now (eg see other comment on Erdos 1196)

3 месяца назадdiscuss

Needs a “[November 2025]” title. It is already outdated