In the morning, I start to figure out the first complex lemma in paper A. Things going not bad, one important reason is that I'm concentrated, no bad feelings disturbs me. When doing something, it's neither good to be loose nor be eager/urgent. Until lunch time, I figure out most of it.
In the afternoon, I complete the proof. But honest speaking, more time is needed as for understanding the proof from intention to technique to links with former text. Then I move to the other proof. It's much more difficult. I try to understand it. At about 21:30, I finished it, but some details are still not clear. Although my efficiency is much better, I have to work hard, make full use of time.