first draft of post on normal subgroups