Slide "Correcting the implementation"