<p>Good point.
Uniformly very smart follows directly from pointwise smart. Case by case techers are obviously very smart. Thus the domain is point wise smart. The domain is also obviously compact(CalTech is finite). Since pointwise smarts on compact domains are uniformly smart, our proof is complete. </p>
<p>I think Ben is insulting our intelligence, why else would he state a result that follows trivially instead of the underlying cause.</p>