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 ..."