x11 - (x8 * x12) = 0