C 3 ctf : C t 0^