Определение собственных предусловий

• Пользовательские типы вправе иметь собственные предусловия безопасности
• Документируйте их, чтобы позже можно было определить и выполнить эти предусловия