Wording change
Preserve order of proof trees in resolute