That’s what I figured, I just wanted to be sure.
Now that I look at my notes again, I see you mention the difference between identical versus corresponding propositions. That’s important.
I’m glad you included how you can go from SAP to SIP (via the square of opposition) and then to PIS (via conversion). Everything now seems unified, including the additional immediate inference types that Joyce wrote about.
Thank you again,