Add Propositions to data migration