Fish Wang says to YSITD
a{n,n}b{n,n}