added PDrefinement.lhs