Formal and efficient PEP identification using official criteria.
https://chat.openai.com/g/g-I1onUENqQ-pep-identifier