information about Proof planning field