Ix1(a,b)(apB(a,b))1a