The library board wants to investigate self-service kiosks in more detail. They want to be sure that the kiosks will enforce these two rules: (i) a patron may not have more than 10 items checked out at any time, and (ii) patrons may not check out any materials if they owe $5 or more in fines.