Pholey rewrite