Traditional or simplified? Debate on Chinese characters should be decided by pragmatics, not politics