… named Nicodemus, a ruler of the Jews;