This talk will discuss a generalization of virtual knot theory (stabilized embeddings of knots and links in thickened surfaces) that uses many types of virtual crossings. The theory is motivated by graph coloring problems and their analogs as bracket polynomials for multiple virtual knots. We discuss a number of invariants of virtuals, conjectures and open problems.