De Morgan's laws
Hence an instance of De Morgan's laws can be formulated in CTL: