Pushed the generalisation through!