Proof trees - first cut