A recursive definition of initials
1. An argument ? has no initials
2. An argument {A} ? ? has A and the initials of A as its initials
3. An argument {A1, A2, …, An} ? ? has the initials of the arguments {A1} ? ?, {A2} ? ?, …, and {An} ? ? as its initials