affine eq, proof edit
proof fixed