fixed comment
made Empty into an object instead of a class---only need one empty set!