Text this: Prime Factorization in Models of PV$_1$