every 'Every X will become a Y sooner or later' title will become 'Every X becomes a monoid sooner or later' sooner or later