Horizontal loops in Engel space
  A simple proof is given of the following result first observed by J. Adachi: embedded circles tangent to the standard Engel structure on Euclidean 4-space are classified, up to isotopy via such embeddings, by their rotation number. 
Hansj\"org Geiges