bad syntax in triang9 clause