Comment by baq

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