Nikitos, Anuta, Lelik, Bulkin, Sanka, Tema, Olya, Vika, Yulka, Mix, Andrey, Alla, Dyatlov, happier. Axioms, theorems - there are not a problem. We are go to school for learning but we can't without jokes.