?-Tri(?->