added on top of the elimination code