pending use when().then() in protocol definitions