semicolons go away
elim isnil: in Troids