Vitalsource Technologies, Inc. Classification Theory: And The Number Of Non-isomorphic Models