Schented's bump Lemmas + cleanups