a nempty set perhaps