E * r ; cr a a b.