There are other ironies in Johns Gospel (such as Nicodemus, the enlightened teacher who comes to Jesus by night but needs to be taught Jn 3:10), but allow these examples to suffice.
Yes...the ironies are not lost. This passage has to be explained to a LOT of people.
5 posted on 04/02/2020 11:13:01 AM PDT by ealgeone