The proving factory