Proofed insert-nth() and prepend()