a lazy way to close also issue #2, and more precise information about some sets