 Everything else being equal, a system with fewer axioms is simpler. Simplicity thus demands the pruning of inessential elements from the system of laws. A deductive system is stronger when it entails more truths. Strength demands that the deductive system of laws should be as informative as possible. Note that simplicity and strength compete. A system consisting of only one uncomplicated axiom is simple but not very informative. A system which has one axiom for any truth is very strong but far from simple. To avoid a deductive system that is too simple to be informative and one that is too complicated, we need to balance simplicity and strength. The proper balance between simplicity and strength makes the deductive system best.