Canvas can consume SAML 2.0 identity assertions. Canvas does not support the full Shibboleth protocol specifications, but can consume SAML 2.0 assertions originating from an appropriately configured Shibboleth (the product) identity provider.

The intended readers (all twelve of them) can de- co de the formal presentation, detect the new idea hidden in lemma 4, ignore the routine and uninteresting calculations of lemmas 1, 2, 3, 5, 6, 7, and see what the author is doing and why he do es it. But for the noninitiate, this is a cipher that will never yield its secret.

To read his pro ofs, one must b e privy to a whole sub culture of motivations, standard arguments and examples, habits of thought and agreed-up on mo des of reasoning.