Resign to run laws have been ruled unConstitutional and Florida Law was changed to meet those requirements. If a person runs for a federal office which overlap their term (in this case there was an overlap of 3 days, but that is another issue) they are automatically considered to have resigned. However they did not change the law to make it as clear as they should have, and a strict reading of the Florida code sounds like the written resignation still applies to federal offices, which is redundant to the automatic resignation. This case should be thrown out though because if the law is interpreted the other way it would be unConstitutional.