added bit about the proposition