Better creation of constraints, Appendix A10