information about Proof mining field