Right but then it’s a requirement, the author frames the argument around FV when it’s NOT a written requirement I mentioned exactly that: > If a business requ

Right but then it’s a requirement, the author frames the argument around FV when it’s NOT a written requirement I mentioned exactly that: > If a business requirement requires formal verification then the argument is also moot - because it is part of the business requirement - and so it’s not optional it’s a feature.