Because the invariant is checked so often, it makes it simultaneously the most expensive and most powerful form of condition or contract.
Зато што је инваријанта проверена често, чини га истовремено најскупљом и најјачом формом услова или уговора.