public Assertion(MustBe condition, double value, double? maxValue) { Contract.Requires(condition != MustBe.Between || maxValue.HasValue); Condition = condition; Value = value; MaxValue = maxValue; }