renaming some abstractions