Modes of interaction > Mutual dependence

  1. Lemma category