The use of implies in "A implies B" means that If A, then B, but it's also important that Not-B DOES imply Not-A.