Isotopy of loops
 
x
OK