Stuff that didn't end up in a paper