Li-Fan Chen says to YSITD
a = 3 a = 4