a|b^c;