@Nasser I see. Thanks. So the general rule is to always list all the variables on the right that will be fixed/bound and not free/varied? It won't identify fixed/bound variables from the input.
I hope they finally fix the slow Windows typing speed in v13. It's been a problem on all three recent Windows laptops I've used in the past couple of years. I figured I didn't need to report it because surely someone at Wolfram uses Windows. But I've gotten brand new very nice Windows and Mac laptops in the past month and sure enough the typing performance is way better on the Mac.