Design by contract, by exampleの6つの原則。Principle 1: Separate queries from commands. Principle 2: Separate basic queries from derived queries. Principle 3: For each derived query, write a postcondition that specifies what result will be…