moved some stuff from ktheory to rc