whose antiquity <ISA23 -:7 >
~~~~~~