Cross-checking allocations (3)