exists.spec rewritten