proof machine