: Input IN is less than [...] than input HIGH
between a and b is less than eps. In
less than ps2 1 -> ps1 is larger than
less than pw2 1 -> pw1 is larger than
less than itf [...] is greater than
less than itf [...] is greater than
-> pwd1 is less than [...] larger than pwd2 In
-> pwd1 is less than [...] larger than pwd2 In
