and CTL