  The forbidden moves can be combined with Gauss diagram Reidemeister moves to
obtain move sequences with which we may change any Gauss diagram (and hence any
virtual knot) into any other, including in particular the unknotted diagram
