SMS: The Weakest Prespecification II