 Law III shows that Findlay has not excluded vacuous names for events. The laws apply to non-occurring events. For example, what is never future, for example, is never past, in models with no earliest moment.