If you’re treating every person as category and you’re treating every category as necessary then you’re treating every person as necessary. That’s gonna glitch (isn’t it?).
This is partly why I need help translating between logics for the square of opposition.