Not necessary to introduce the concept, might confuse some students. Start with `assert` and use it throughout.