s_1 | s_1