refactored KnownSet --> ManagedValSet