Requirement: The quality of an item is never negative