err is summary: theorem is proven theory. formula is new unknown.

Reply via email to