The logical form of universal generalizations