oops... add apparently missing elimination.h