Eliminating all extension proposals