Assertion list
matrix (primary) → SimilarTo
Results from Ascent++: 1
matrix → SimilarTo → the xpander 0.25