Aquí aparecerán los predicados