Stav dette: The Weakest Prespecification II