Under formal definitions, an agnostic contends that there is not enough empirical evidence to prove the existence of a deity or deities, but that to dismiss the possibility also requires a leap of faith.