Talk:Isotopy of loops