The following are two counterexamples demonstrating the necessity of the assumptions of our model for the triangle constraints, and examples of models for which .
.