Looks like @paulkeres hasn't commented yet!