Oh wow, I'm so happy. I understand the correspondence theorem now.
Am I right in saying that quotienting $G$ by, say, $H$, essentially reduces $H$ to the identity coset in $G/H$ while maintaining the group structure (so if $H\triangleleft K\triangleleft G$, then this "structure" is preserved when we quotient by H)? (Does that make sense?)