formal_logic_description