c_1 | c_1