The existsR proof rule proves an existential formula ∃x p(x) by specifying an arbitrary term e as a witness and proving p(e).
∃x p(x)
e
p(e)
Learning resources