Infix encoding, naive simple version.