add recently proven