Explore the CTL