Updated double elim and added some qualifier info.