In 2013, the supreme court struck down as unconstitutional the defense of marriage act (doma) which was passed by congress. would this be an example of checks and balances between the legislative and judicial branches?