You can't get the contrapositive of a most statement. The statement reads WD m--> FA. That's how it has to be read. /WD draws no conclusions anyway, it's the sufficient.
I'm glad they did, I'm sure it's an improved version; we will be better for it in the long run. I just had to laugh because I was excited to get to the end today and into some PTs.