Lambda this, lambda that. But what about box and diamond? In this talk we'll go over the history and impact of temporal modal logics. From teaching sand to think to verifying network protocols, you'll learn why some programming languages will always be so devastatingly bad at math.