QuotedAssertion

prelude