devirginandae