Implemented elimination