lambda1@tg
says to
YSITD
by injective theorem, the set {a_i} is at most countable!