SADA Subtypes and the AAI Validity Problem: Why Earned Secure Is Not a Unitary Category — and the Default Setting Model | Synapse