S4's accessibility relation encodes iterated epistemic or metaphysical possibility, a hyperintension...