Chapman question about minor proofs