! An abstract to the pure term transformer object is working now