“My amendment says basically that everybody including Justice Roberts — who seems to be such a fan of Obamacare — gets it too,” Paul told TheDC by phone on Sunday from Mackinac Island in Michigan, where he won a straw poll of potential Republican candidates for president in 2016.

“See, right now, Justice Roberts is still continuing to have federal employee health insurance subsidized by the taxpayer,” Paul said. “And if he likes Obamacare so much, I’m going to give him an amendment that gives Obamacare to Justice Roberts.”

Roberts famously voted to uphold the constitutionality of Obama’s unpopular health care law when it went before the Supreme Court last year.

Paul’s constitutional amendment says no federal employees should get special exemptions from laws. The senator also plans to push a proposal requiring that Congress and all federal employees rely on Obamacare for their insurance.