Debugging and Correcting Statements