Using the factorization library.