batch processing proof