en:discussion:sa:numerical_existence