Lindemann - Yukon (Extended Version)