Rewrite of PAL