A dip in a mountain lake