Definitions are about efficiency and consistency with common language. — LessWrong