section about temporal logic started