The query supervisor is one of the key technologies for the L2 haf smart contract system (it's the reason it is being created, although it can also serve other uses, such as for a publicly-available HAF server). And the updates to HAF in terms of performance and some of the feature improvements we're making are also important to the smart contract implementation.