symbolic_logic