-a^{v0}_{} b^{a0}_{c0,v0} a+(c0) a-(a0)