Beginnings of Factor rewrite!