Corrected notes on Arma.dot and rank