In this talk, I will show a story on mathematical verification on an experimental law (Darcy's law) from physical laws (Newton's laws). Two different models on the motion of porous media flows will be discussed. The relationship between two models leads to an interesting conjecture. The conjecture is thus verfied formally by a simple arguement. Some simple physical examples will be verified. The true(mathematical) story is however more difficult and will be discussed in CAM colloquium.