0 / 60 seg.

Today he proved two theorems before lunch.'.