Arguably, they banned marriage for straight people, since that would be "identical to marriage". Since we don't want judges legislating from the bench, either, they'd better be strict constructionists and enforce that as written.