Kaili Modeling Proofs - MarcusKaiser