[forall e in Example], e.X > 0;