IPA sem equality: documentation enhanced.