finite existence