I'm submitting a paper about reasoning in Java in ICFP next week (April 6th). It is the improvement of our FOOL/WOOD'07 paper. I would greatly appreciate any comments, either about the technical content, or the presentation. The latest draft can be found here: www.ccs.neu.edu/home/vkoutav/tmp/icfp07draft.pdf Thanks, --Vassilis