remove redundant check=0 in Inequality since it is tested later