Further generalize some of the newask facts, add one about Q.invertible(MatMul)