Yeah I meant impl of diagonalize ;)