10_CharlesDavid_propositions