Necessary Execution (VP TCC)