generalization by application 1st part