refactoring of terms