extended existence algos