Introduction to combinatorial knot theory; Reidemeister moves, moves on virtuals; interpretation of virtual knot theory in terms of knots and links in thickened surfaces; bracket polynomial for virtuals, involutory quandle for virtuals.