constructive proof articles