information about Informal proof field