I made a mistake in the notation of the previous message. It should be: let B=A[k=@max] let C=B[l=@max].