Currently, it seems like the spider walking examples don't converge. We should investigate and fix them so that they do.