Move proof trees in the Gries chapter into figures