yesterday i hyperfocused for Quite a While on proving something might be a problem, using linear optimization, and today my brain feels sort of refreshed, exercised. whatever the pertinent characteristic is of that work, i need to do more like it.