Li-Fan Chen says to YSITD
0 = {} 1 = {0} 2 = {0,1} 3 = {0,1,2}