Ancient Inca path (for Isabelle)
