Working through the python koans