Sibal: The essence of the petitioners claim now is that the state must change its definition of marriage.