» (San Juan de la Cruz.)