Add ceil/floor to constraints, and correct the maximus size to be \eta, not 1, as we are using cardinalities, not selectivities