Pošljite SMS: Diagonalizing matrices over AW*−algebras