Title: The Exitential Import of Categorical Predication Studies in Logic