Where the application can—and cannot—detect, reason about, draft, and maintain each scoped obligation.