Difference between 来ることはない and 来ない？


I am not sure if there is a difference between them or not them. Basically I
would like to know what the (verb)ことはない form means.




>   1. 彼は来ない。
>   2. 彼が来ることはない。
>

The first sentence simply denies he will come.

The second sentence specifically denies the possibility of him coming in
implicit contrast with other possibilities. Many other things might happen but
his coming will not be one of them.

