Haha, the breaks from reality there are two, one professionals do not spend most of their time inventing proofs, and two, practical use? :-)