[see also: aim, intend
Condition (a) is so designed that a(x)=0.
The definition of generator is designed to make the proof above work for M=Z.