noninterference

• terminology
• Boyle
• hauls
• cutest
• expressions