Testing D3 and proof trees