Comment Comment by tptacek The model is very capable of checking this counterexample, was my point. parent tptacek 3 months ago
