bad syntax in triang5 clause