Chief Justice John Roberts Jr. on Thursday refused to read aloud a question from Kentucky Republican Sen. Rand Paul that was widely reported as including the name of the anonymous whistleblower who first raised alarms over the Trump administration’s interaction with Ukraine.

Paul reportedly wanted to ask a question that explored the origins of the U.S. House’s investigation of President Donald Trump’s withholding of funds from the Ukraine allegedly in return for an announcement that Ukraine was investigating former Vice President Joseph Biden and his son Hunter, who was serving on the board of a Ukraine corporation.