Elementary step in the CodeAndFix process. However, see SpikeSolution.