Comments by Chris van Gelder