Lars and the magic mountain