exists extended