Lars ville vite om han trengte å måke snø fra taket, gikk matematisk til verks