Reafctoring via KPK