I’m in the middle of reading Programming as Theory Building (which was referenced from here) but I’m weary so off to bed. Will finish reading tomorrow. Hopefully.