Put all proof rules into figure.
Changed term/sentence to formula