President Trump landed back in the Washington, D.C. area on Wednesday morning, announcing his arrival with a tweet touting the results of his summit with North Korean leader Kim Jong-un.

Yes, but: Many experts believe that the joint statement Trump signed with Kim is quite vague — and it fails to include concrete, verifiable steps toward denuclearization for North Korea.