then its underspecified imho. but I don’t believe that to be the case here