Sticky
(
)
Unifying Logic Interoperability when using heterogeneous logics of the lower layers