Nice. I’ve only ever read the Lakatos paper but am looking forward to working my way through the whole thing at some point!