The Ontological Commitment to Santa Claus

The way that the conditional, the if then statement works in logic, that the only time it is false is if the antecedent is true and the consequence is false. So, for all things in the world, if they meet this description of Santa Claus, then they are jolly. It just is trivially true if there is no such creature. But we say it's trivially true because it doesn't actually tell us anything about anything. If there are no pencils, correct.