choreography

• tactless
• choose
• noninterference
• slid
• leviathan