Premise: As you go in, notice the keys of St. Peter inlaid in the doorway paving.

Hypothesis: When you leave you will see St. Peter himself in the doorway.
Relation: contradiction