Does it matter if our member is the same? When I tried my go at this question this is how I did it

SC(suspect class) -> IT(immutable trait)

p(plaintiff)^IT

---------

p^/SC