Correct SPL use of TEE