Having federal officials — whether judges, bureaucrats, or congressmen — impose a new definition of marriage on the people is an act of social engineering profoundly hostile to liberty.