A friend asked me. Can anything be said about the outer measure of a set containing one point from each equivalence class with respect to the relation x~y <=> x-y is rational, x,y in [0,1]? Martin Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0