Disable some unnecessary supporting lemmas for now