So when he goes to work, he uses a mean of 10 liters of fuel with a standard deviation of 1.5 liters. And on the way home, he also has a mean of 10 liters, but there is more variation, there is more spread. He has a standard deviation of two liters. Suppose that Shinji has 25 liters of fuel in his tank and he intends to drive to work and back home. What is the probability that Shinji runs out of fuel? All right, this is really interesting. We have the distributions for the amount of fuel he uses to work and to home, and they say that these are normal distributions.