Coding with Lewis