[kapuzineralex]

I find it particularly interesting that he breaks down the number of neccessary cases to only 4 compared to the standard explanation found everywhere else.

[eru]

Yes, that's the power of purity. On the syntax side, or-patterns express those remaining four cases very succinctly.