@SeaRyanC Yes, this was an entirely sensible argument I saw John Baez make