My notes on Heikki's work