propositions modified and figures added