should be in ensure clause