What are the advantages of formal systems of logic?