[tel]

I think they're advocating for some piece of OO design, but I think it's more core than OO generally. It's a technique for justifying the existence of existentials/modules of which OO is one kind of elaboration. OO design thus reflects some of module design.