Two lines of colorful cars racing on a racetrack .
It is certain that a racetrack has cars on it .
It is certain that a racetrack has cars on it .
Chances are about even that a racetrack has cars on it .
A racetrack has cars on it .