hart-factorization