Looks like @moler hasn't commented yet!