note non-uniqueness of eigenvectors, and improve expm inference