It says here that there are 5 Master signing keys for the Arch Linux project. It also says that active, trusted developers have their keys signed by one or more of the master keys. And we can see that Pierre Schmitz's personal key is signed by master keys 0x77514E00, 0x7BE9892E and 0x037F4F41.
Now, I imported all of the Arch project master keys including 0x77514E00, 0x7BE9892E and 0x037F4F41 which it is claimed on the Arch website have signed Pierre Schmitz's personal key.

I verified the archlinux-x86_64.iso with the archlinux-x86_64.iso.sig. It said it was unverified and to go looking for this key ID
0x3E80CA1A8B89F69CBA57D98A76A5EF9054449A5C
. Fine. But I just wanted to independently verify that Pierre Schmitz's personal key is in fact signed by the master keys so I can begin doing these verifications intelligently during this and many future tasks.
I listed sigs for Pierre Schmitz key ID:
Self-signed ok, I guess I need to recv keys?
I ran recv keys on the key ID:

And I listed keys again for the ID in question:

Is this actually not possible? Is it not always or never possible to independently verify that a key was signed by a defined set of master keys? Or where am I making a mistake in this verification procedure?
