Case analysis over exp.