Zaslat SMS: Diagonalizing matrices over AW*-algebras