Removed theory file. Obsolete