inequality-check.patch
