Code which writes code works only if the former is correct, lest the latter be wrong too.