If you knew that draw from those verses in John means an effectual drawing then you’d know those He draw come to Him. The Christ said all the Father gives Him WILL come to Him. They WILL come. It’s the same word in John 18:10 when Peter drew his sword and cut Malthus’ ear off. It’s the same word that was used in John 21:11 when Peter drew the net full of fish to the shore. It’s the same word when they dragged Paul out of the temple and locked the door behind him in Acts of the Apostles 21:30. The Greek word is Helko, pronounced hel-koo-o, and it means to literally drag off. It does not mean God literally drags us to Him kicking and screaming, but that He effectually draws us to Himself.
So, did that sword in John 18:10 choose to come(or not) when Peter grabbed it? Did that net choose to come to the shore(or not) as Peter drew(dragged) it to the shore? Of course not. But when Peter laid hold of them, they did what Peter wanted them to do. Just like when God draws us. We do that which He wants us to do. :)