This Fox has a longing for grapes:

He jumps, but the bunch still escapes.

So he goes away sour;

And, 'tis said, to this hour

Declares that he's no taste for grapes.

Tsimerman's work is directly applicable in two fields of computer science: O-minimality can be used to simplify formal verification.

Username sure as hell does not check out