prenex (p :&: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (PAnd p' q')
prenex (p :&: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (PAnd p' q')
prenex (p :&: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (PAnd p' q')