@peterb I greatly appreciate how "Mathstodon" was careful to pick a pun that would avoid the discrepancy.