I'm happy when it rains

I prefer bad weather when I am working. And in this last day of working on the M18 deliverable of our EU project, I need bad weather more than ever. It somehow feels cosy and nice to stay indoors and forget the world as I write, write, write.
Currently, I am defining inlining that is inheritance-sensitive. It is really rather hard to put down as all operations are on bytecode, so a simple example would take a whole page.
I also -for the first time in my research life- am dreaming of getting "famous" as the first person that has proven inlining correct. So much work for such an insignificant result really. But who knows, maybe the exceptions part will create some more interesting results. Who knows.. As nobody has done it before.
Yes I feel all so productive and important and so on.. But I need to be a human as well at some point. Get fresh air, move my body somehow. With my pace of doing things, it does not feel possible.
Remaining issues: Semantics of ghost variables, correctness proofs, placing EXCEPTIONAL annotations, and correcting the symbolic automaton definition. All for tomorrow 10.