resolve theory's imports
replaced 'ms' prefix by 'soft'