More renaming from Conway to Crux