How will you know that it produced correct code if you don’t know how to write it yourself?