Adding two new Classes to implement the CTL model.