Dress up the MAC demo a little more.

Add some variable names, etc. to make things look a little more plausible.
Simplify TESLA assertion.

The demo is clearer if we only have one statement in the assertion.
This demo is about audit, not MAC stuff!