* a * a1 * a2 * b