We are not makers of cars. We are makers of people who make cars.
我们不是汽车的制造者，我们是制造汽车的人的制造者。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."