This rule means that basic statements will satisfy condition (a), since a singular existential statement can never be deduced from a strictly universal statement, ie from a strict non existence statement.