Add snippet for propositions