SMS dit: The Weakest Prespecification II