a small break. in 2,5 hours i am facing Mads alone for the first time. i have been trying to come up with a language to annotate Java bytecode. i have difficulty working with two seperate domains at the same time: the mathematical domain and the program variable domain. I am confused about what is of which type. For instance, a variable is of type integer, but eventually we will need to use rules about natural numbers to reason about it. When does this correspondence enter the play?

i have been having stomachaches regularly since i came back from belgium. i am fairly confused about what i can eat. i can not eat carbonhydrates much, no bread, no rice etc. shellfish is ok, but not something to have 7 days a week, since it isnt so tasty and the ones in my fridge are with shells(lots of work). next cheese&milk are not good for skin. even detoxication bans them. vegetables take a long time to cook, they make my stomach angry when i do not cook them (see cabbages, squash) or else they are expensive/nonexistent/tasteless. i do not enjoy red meat. what remains is wok, salmon, spinach, broccoli,cauliflower. in the end i will end up on a belgian beer diet :P