Li-Fan Chen says to YSITD
0 Z 1 S ( Z ) 2 S (S Z) 3 S (S (S Z))