Proof trees are 90% air