The proof-explanation is logically neutral