> don't use "but people are already doing this" to justify copilot approach. Why not? Most of the software is not built by checking the formal verification of

> don't use "but people are already doing this" to justify copilot approach. Why not? Most of the software is not built by checking the formal verification of specification but by looking into the code and having reasonable understanding that it works. Also there will be errors in the code whether we use copilot or not. Personally if I don't have an option to do a build and run and look into the output, I am reasonably sure that there is at least one bug in something like every 50 lines.