bad syntax in triang4 clause