have more instances of InequalitiesOnly but no value testings for them in tests