What is LL congruence for ?