"different definition of "virgin" than the common one."