Integrating Cross-case Analyses and Process Tracing in Set-Theoretic Research | Synapse