Looks like @untzuntzuntz hasn't received any replies yet!