ACVR1 and fibrodysplasia ossificans progressiva: As a result, Cre converts the conditional-on knock-in Acvr1[R206H]FlEx/+ mice to Acvr1[R206H]/+ mice, which genotypically mirror FOP patients.