CTL and the Environment