((a,a),(a,a))