Debugging and simplification.