Descent, surviving manuscript leaves, proofs