writing connected simp algs are complete