[inv prob]: removing top level cruft