Hi, my name is Mavis (she/her). I am 23 years old, and I study math at the department of algebra at Matfyz. I specialize in forcing and bounded arithmetics.