1/2 a^{}_{c1} b^{c0,c1}_{v0,v1} a+(v0) a+(v1) a-(c0)