Este mecanismo permite expresar conceptos de gran complejidad lógica.