discussion:hi:symbol:logic:translation