Batch equality and tests about it