Non-unique factorizations