We must not put mistakes into programs because of sloppiness, we have to do it systematically and with care.

— Edsger Dijkstra

Right. Off we go.… -->