On What There Is For Things To Be: Ontological Commitment and Second-Order Quantification