Create new property that given a sample x* and a noise value e writes down the property X_i <= x*_i + e X_i >= x*_i - e
Create new property that given a sample x* and a noise value e writes down the property
X_i <= x*_i + e
X_i >= x*_i - e