devirginatum