President Ronald Reagan famously used the Russian proverb “doveryai, no proveryai” — “trust but verify” — when he was negotiating the Strategic Arms Reduction Treaty with the Soviet Union. START marked a major step in both nations’ agreeing to cut their exorbitant arsenals of nuclear weapons. Since then,“trust but verify” became the philosophy governing all U.S. arms control agreements.