I notice the video says "The algorithm for self-assembly allows for the provably correct formation of any simply-connected shape". I wonder what goes wrong if

I notice the video says "The algorithm for self-assembly allows for the provably correct formation of any simply-connected shape". I wonder what goes wrong if it's not simply-connected. Or is it just that they can't prove that it works in this case?