sa:discussion:hi:informal_logic