Made conway function slightly more intelligible.