assumption1