dont even look at these lemmas, they're too dumb.