givenWhenThen