Dmitri, here's the stuff I described.