The celebrated theorem of Goussarov states that all finite-type
(Vassiliev-Goussarov) invariants of classical knots can be expressed in terms
of Polyak-Viro combinatorial formulae. These formulae intrinsically use
non-realizable Gauss diagrams and virtual knots.