Refactor PR and delete Erdos.