Notation changes and evaluation for eliminators