Still the same error, about the eliminatin being ill-formed
WIP