What documents are necessary for patent registration proceedings?