Documented constraints.diagonal test more better.