[a,b,b][a,b,a^2]
