Cinalis
A Trivial Exclusion