tweak
tweak
refactor derive_obj -- intermediate step
functorize obj generator
refactorize check point
refactorization succeed -- bootstrapping successful