Looks like @schrijver hasn't commented yet!