Putting errors to good use by C. van Dijck