Bobby Ho
says to
YSITD
NP = nondeterministic polynomial time