First push on the CLTL