45. Relations, limitations, and further problems

The results fit into a common finite quotient language, but each ingredient also belongs to a larger established theory.