PUNCTUAL CATEGORICITY AND UNIVERSALITY