Reverted implementation.tex from QMichauds destructive madness