diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
new file mode 100644
index 000000000..cf857c767
--- /dev/null
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
@@ -0,0 +1,36 @@
+/*******************************************************************************
+ * Copyright (c) 2007 IBM Corporation.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package com.ibm.wala.logic;
+
+import java.util.Collection;
+import java.util.Collections;
+
+public class EmptyTheory extends AbstractTheory {
+
+  private final static EmptyTheory INSTANCE = new EmptyTheory();
+  
+  public static EmptyTheory singleton() {
+    return INSTANCE;
+  }
+
+  private EmptyTheory() {}
+  
+  @Override
+  public Collection<? extends IFormula> getSentences() {
+    return Collections.emptySet();
+  }
+
+  @Override
+  public IVocabulary getVocabulary() {
+    return BasicVocabulary.make(Collections.emptySet());
+  }
+
+}