Purely existential proof