OS

• slumlord
• outdistancing
• noninterference
• Ives
• finished
• uncleanness
• correctness