Time - Where logic meets protocols

Many assertions are valid for a limited time.

Need to express more than "I trust Fred". "I trust Fred until ..."