c \ { c t;