A logic is two-dimensional,
so there are two kinds of relations between logics:
meta process (vertical profunctor)
meta relation (horizontal profunctor)
and two pairs are connected by a two-dimensional “double relation”.
meta inference (double profunctor)