Vi veta att t. exi