 where this last concept is defined by saying that # is congruential in the ith position according to a consequence relation or generalized consequence relation ⊢ or ⊩ (we state the condition only using the “⊢” notation) just in case for all formulas φ1,…,φn,ψ: