* / a ^ c.