nearing end of conn_simp_algs_are_complete