Everything works

Programming is complete. Nothing more remains but the runtime analysis.