[mjburgess]

The former means: all Hs are SMPs ; the latter may also mean: some Hs are SMPs.

The former is clearer. Adjust your understanding of `just`, it's definition 4a at https://www.britannica.com/dictionary/just