Category: Beyond the CTL