make : shift propositions for future changes and additions.