Imaginary dialogue about the essence of mathematics with a person not familiar with the way mathematics is being done on Earth.