Friedrich left open the possibility that Florida citizens can still authorize such betting through a citizens' initiative in the future.