add more text to proof statements