In this context, absolutely, that’s why I dropped it (until I realized I wasn’t clearly explaining myself and the other person was confused). I thought this was the same thread as a cousin (?) thread that was focused on pedantry, so I was being pedantic as hell.