Give Inequality an additional level of evaluation wiht keyword `check`