Then Pilate set Barabbas free for them; and after he had Jesus whipped, he handed him over to be crucified.