Ct ( mlf6Con & (: