LARA

This example is nothing special

Disjunctive union (3x)

Why talk about sets on slide that talks about multisets?

ab, a, aab more use of board over all sets lia* logic