done with allFin + proof