@dabeaz at what level? I think the answer might be yes, but then I wonder if I'm just thinking at the wrong abstraction level for the question.