The first proviso would be a full application of the principle of lex specialis derogat legi generali.
So I wrote an algorithm that included a proviso for it.
Antonyms