Looks like @untzuntzuntz hasn't commented yet!