added separating implication example and footnote