CTL and fixed net for part 1