Invalid constraint: {convex} <= {convex}

2

In order for the constraints to be convex, R2-R1_bs and R1-R2_bs must be convex. Have you proven they are?