Rosha happy that she is done writing a nice proof