= 1 !oc1 * « !auB.