Intermediate generalisation