More exponentials, categoricity.