Ecency
Lemma | Ecency