discussion:hi:logical_language