Jasper Yu says to YSITD
a=2 b=++a => b=3, a=3