bx = ay - yx; ay - yx = ab - ay