De » npgifne proposition , atDel-