The central axiom of Gamsjaeger's process — everything else in the system of axioms can arguably be boiled down to this. Redundant code, redundant semantics, and 'just-in-case' code should be rejected because they add no value. Motivates the use of Mutant for mutation testing, which automatically surfaces redundant semantics in Ruby code.