More than twenty years ago, David Gries and others said that the goal should be to forbid the construction of incorrect programs by teaching constructions of correct programs using a no-fault approach. This point of view appears to us to be both simple and challenging for students, because teaching correct program construction means teaching methodologies based on a process with well-defined steps which decomposes into sub-tasks, each of which is human in scope. Human scope means the sub-tasks are considered obvious or easy to prove by humans; for example, easy to prove sub-tasks preferably do not require inductive proof.