On 15/07/2020 10:49, Peter Bishop wrote: > The "correctness" achieved by CbyC does not guarantee that the > requirements assigned to the software will address the real world problem. Correct. Doing the thing right is not the same as doing the right thing. Olwen