small tweak for rationals. prove lots of things, including density of rationals in the reals, for R