Bit rusty on the 1ST TEE