Synthesizing the Leeway model and the source model for compatibilism. - Hu, Jingbo (Synthese, 2025)