A further synod declares Arnulf's deposition invalid in 995. Gerbert now becomes the teacher of Otto III.