English: Tom's real name is John.
Toki Pona: nimi lon pi jan Ton li San.