Vitalsource Technologies, Inc. Beyond First Order Model Theory, Volume I