Code running without Pk and refinement