I think that is a terrible miscalculation because it's clear that the democratic process produced this law, floridians, including Disney employees, democratically elected Florida's state House representatives and state senators, and those elected officials passed this law; and then, thank God, Governor DeSantis signed it into law.