The flat point at this position — the carrier car(a) = e4 ∧ a.
car(a) = e4 ∧ a
Component-identical to toFlat; this member keeps the algebraic name for derivations.