finished Intro. next: list homomorphisms