Vitalsource Technologies, Inc. Introduction To Sofic And Hyperlinear Groups And Connes' Embedding Conj