<html>
<body>
<span style="font-family: verdana,sans-serif;">
  This intention converts boolean comparison expression <b>not(a negop b)</b> into <b>a op b</b>.
  Where <small>op</small> and <small>negop</small> are mutually inverse comparison operators, like <b>==</b> and <b>!=</b>.
</span>
</body>
</html>