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