Conceptualism, realism, and intensional logic