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