working on making theorem printing pretty