Reformulation of default pk