pop_back falta provable