enforcing given when and then