MONOMORPHISM, [n]
182,304 of 196,601 in NWL2023·also valid in CSW24
MONOMORPHISM, existence in one form only [n]
151,064 of 280,887 in CSW24·also valid in NWL2023