I wrote a long post about the logical operator "implies" but mudcat timed out and day two of the gathering is about to start so it is left as an exercise for the reader.