Требования в математическом языке бесполезны, если их легче читать, чем код.