tom hopcroft tags