TsviBT comments on Alexander Gietelink Oldenziel’s Shortform

[TsviBT]

See https://​​en.wikipedia.org/​​wiki/​​Natural_proof