clarify

• suppose
• dryness
• unmask
• noninterference
• randomnesses