Finite planar emulator, Fellows' conjecture, graph minor,
projective plane, finite planar cover