Simplified stuff, stuck on Hopcroft-Karp