e exists t