Are pants just considered optional in Florida?