That's nice!

The main moral is that _the associative law for composition of feasibility relations follows from a kind of associative law built into logic_.