triang7 clause before triangle_list clause