  Authors typically go on to explain that we often wish to make generalizations in science when we are unsure of whether or not they have instances, and sometimes even when we know they do not, and they sometimes use this as a defense of symbolizing the A form so as to allow it to be vacuously true. This is an argument from convenience of notation, and does not bear on logical coherence.