condense/ and factor/ are now statically instantiated.