Beginning of sequential monads with temporal logic