A Formal Day on the Slopes