This is achieved merely by following the rules. But what are the most appropriate rules? It depends on the taste of the logician