I guess all have sinned excludes Mary??
Scotus’ solution includes her in all sinning in Adam.
The English “all” is a very strong “all”-—a sort of philosophical all is the first sense.
In many other languages the equivalent of “all” is more of a statistical “all” as the first sense.
In some, the first sense may be as weak as “many.”
Adam, Eve, Christ, and Mary have different relations to Adam’s sin than all other people having a human nature.
(Human being is a tricky term to use when one is discussing any topic where Christ is a major concern).
...although it says ALL it does NOT say WOMEN!
18 Therefore, as one trespass[b] led to condemnation for all men, so one act of righteousness[c] leads to justification and life for all men.