Premise: The PDFA ignores these subtleties.

Hypothesis: The PDFA does not ignore anything.
Relation: contradiction