Should say "and 𝑥𝑖 and t𝑘𝑖 have the same sort" instead of "and 𝑥𝑖 and 𝑘𝑖 have the same sort". Should it really be xi and not xki though?