zh:discussion:hi:informal_logic