c_1 | ← c_1