discussion:sa:informal_logic