bad syntax in triang8 clause