add a couple inequalities to the binding information docs