  With a very few exceptions, when a natural problem is in NP, it turns out to be either NP complete, or in P.  People wondered whether this was always the case.  Ladner proved that if P \(\ne\)  NP, then there is an intermediate problem \(I\) that is in NP but not in P and not NP complete [Ladner, 1975]. 