bad syntax in triang3 clause