IPA sem equality: small clean up done.