Before revision:  The proofs exploit group structure of the set of AY processes, indexed by functions, which we introduce.
After revision:  The proofs exploit group structure of the set of Azema-Yor processes, indexed by functions, which we introduce.