Formal proof articles