We should revisit those. The senate thing could be moderated with each state getting an extra two representatives. I’d add to the “no religious leader can hold office” one that churches are no longer tax-exempt by default, they can file as a 501(c)3 like every other charitable organization and show the community work they’re doing.