LPO rewrite (broken)