annotated exists