Vitalsource Technologies, Inc. Procedural Semantics For Hyperintensional Logic