trevor comments on Open Thread – Winter 2023/​2024

[trevor]

That is a surprisingly satisfying answer, thank you.