Rephrase description of second case for implication.

Related to issue #13