A first address compare circuit compares {HEAD ~ a received address} for the first memory with {TAIL ~ the first redundant address} 
with
A first address compare circuit compares { HEAD ~ a received address } for the first memory with { TAIL ~ the first redundant address }
OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL