Whew- I am relieved to hear that. That would have been bad if they had.  I was also relieved when Lavrov said there were no Russian troops in Crimea or eastern Ukraine. That would have been bad as well.