Debugging Simplex