information about Analytic proof field