[baq]

And yet nowadays you can restate all of it using just combinations of sets of sets and some logic operators.