Add basic inequality