Remove ListNth's and Show's dependence on omega.