Non-existence and predication door