Just got back from watching MI2 with Erik and Blythe. I needed a break from gibberish formal models proofs. Movie kicked ass .... two thumbs up, I say!
