bad syntax in triang2 clause