S_logic