Vitalsource Technologies, Inc. Elements Of Finite Model Theory