Coding with Henslow