Ex1 and initial Ex2