Replies posted by Mark van Benthem