maybe we don’t filter for the empty set case?