Added consistency theorems in batch