A language that proves a standard syntax for email filters.