Alternation (Explicit)

Different (Explicit)