If a statement is true for all objects, then there exists an object for which it is true. This holds as long as there exists at least one object. If there are no objects, then the conclusion of the implication cannot be true regardless of the statement.