Comment on use of [Proof with] and [...]