Assume And Discharge