Temporal Logic, The Lombard Method, Birmingham