renamed assumptions