"Given a graph G. Is it true that H is a minor of G?" . . . .