Why can't complexity theory actually fucking prove anything? What nontrivial, *relevant* separations or equalities between complexity classes have actually been proven? By relevant I mean no bullshit like hurr I define not-NP as "the set of all languages not in NP".