Paoini's grammar and culminating in the recursive proofs found in the Malayalam text