The system contains no duplicate code, unless that would violate (1).

• 这个系统不包含重复的代码，否则就会违反(1)。