At the end of January we traveled to Lake Baikal with 
@bugaevc∀ {α}, ∃ bugaevc := by rfl -- our first time there, and generally in such cold weather. Imagine plane landing at ~4 AM your time and the flight attendant announcing "Welcome to Irkutsk, the temperature outside is -40°" 😆
We were well prepared though and had a great time! Lots of gorgeous scenery and a huge variety of ice types and formations. 1/2
