mention the equivalences that result from PII
simplify last commit for #596