Notes for Therac25 Reading