factor some more using the paramorphism