new(Object, Args, Value) is true if Value unifies with the result of creating a new instance of the JavaScript object Object with arguments Args.