The two 'true' statements show that 12345678910111211 == 12345678910111212 transitively, which is obviously not possible.