noninterference

• reductions
• flusher
• Alec
• aggregated
• stronger
• Parker
• routinises