However, the viewpoints are sufficiently independent to simplify reasoning about the complete specification.
Тем не менее, точки зрения являются достаточно независимыми, чтобы упростить рассуждения о полной спецификации.