Add Attachment:AJF-31: Throws patterns: top-level nots bind weak.