I wanted to keep this that way in case we introduce a verified only version one day. But don't disagree that including the subtypes could be problematic as we continue to increase.    `masters-verified-audit` here we come