Li-Fan Chen says to YSITD
0 = {} 1 = {S:{}} 2 = {S:{S:{}}}