sa:formal_logic