Vitalsource Technologies, Inc. Modelling Puzzles In First Order Logic