Secondary axiom, arguably reducible to 'redundancy provides no value' but stated separately because inconsistency is mostly about style (whitespace, 2 vs 4 spaces, alignment) whereas semantic redundancy is observable behavior. You should not be able to tell from the code which coworker wrote it; agree on a shared style so reviewers don't spot differences.