E⇒C (1)