an application to inform how many theories you have proved today