There are these 2 statements in [8.1.10](http://doc.rust-lang.org/reference.html#closure-types): > `FnMut` implies `FnOnce` > `Fn` implies `FnMut` and `FnOnce` Is the word _implies_ used correctly? What does it mean?
