mnli premise: The crypt is a grim maze of corridors lined with cells containing the tombs of the famous, as well as the not-so-famous. hypothesis: The tombs in the labyrinth contain only the tombs of the famous.