Removes general theorems in favor of simpler NPEq theorems.
SQUASH ME.