More on hypothetical alternative existence definition