Higher-Order Latent Trait Models for Cognitive Diagnosis | Synapse