Having been reminded and then having asserted their honesty, then in order to sustain internalconsistency, they have to be honest in the other things they say.
他们已经被提醒和已经声称他们的诚实，那么为了维持内在的一致性，他们不得不对待其他事上要诚实。
2
What's more, in pure DBC terms, a class that abides by DBC rules has a contract with the outside world about the internalconsistency that it will maintain, which is known as the class invariant.