Added normality N < G and approaching quotient groups