discussion:zh:informal_logic