Implication Logic | Ecency