Removes general theorems in favor of simpler NPEq theorems.