abstract variable sets can now define a closed world