adding proof trees text