Implementing initial CTL completed.