/// <summary>
 /// Returns <c>true</c> if the simple deviation strength is greater than or equal to the strength parameter.
 /// </summary>
 /// <returns><c>true</c> iff <c>(a * d) &gt;= 2^k * (b * c)</c>.</returns>
 /// <remarks>
 /// <para>There are special cases defined explicitly:</para>
 /// <para>If both <c>(a * d) = 0</c> and <c>(b * c) = 0</c>, return true if <c>k &lt;= 0</c>.</para>
 /// <para>If only <c>(a * d) = 0</c>, return <c>false</c>.</para>
 /// <para>If only <c>(b * c) = 0</c>, return <c>true</c>.</para>
 /// </remarks>
 public override bool Validity(AbstractQuantifierSetting setting, Ice.Current __current)
 {
     FourFoldContingencyTable table = new FourFoldContingencyTable(setting.firstContingencyTableRows);
     return table.SimpleDeviationValidity(K);
 }