extract push_ensure()
introduce ensure(s === "quick brown fox")