∃ S, S=ØAPI Doc