de Rijke. Bi-unary interpretability logic (1990)