Even though this system improves the debugging process significantly, it can only points to places in a program, which limits its explana- tory value. In the domain of spreadsheets we have extended this idea so that users can express expectations about outcomes of cells, and the system then ...