exest = exedit, v. exedo.