beyond formal theological proofs