How do I refer to some sentence as a whole? I want to translate something like: Let P be the sentence "..." needing to be able to refer to the propositional constant P for later use. co'o mi'e rob.