Delete paul.js