wip: pdl factor equality