bad syntax in triang1 clause