changed ensuring to ensures_that + beginning vignette