functional refactoring of use example, and refute -> assert