A friend who works in a big city owns two cars, one small and one large. One-quarter of the time he drives the small car to work, and three-quarters of the time he takes the large car. If he takes the small car, he usually has little trouble parking and so is at work on time with probability 0.7. If he takes the large car, he is on time to work with probability 0.4. Given that he was at work on time on a particular morning, what is the probability that he drove the large car