noninterference

• dunking
• spire
• mayo
• amputates
• meet