It's said this way because the default assumption is that a school district extends only to city or county lines. They can be larger or smaller, though.
(purists would argue that it can't, but common usage trumps purism)
Also, I will point out that, even from the perspective of formal logic, the original statement has "city or county". In other words there is no single fixed C - C could be a city or a country. Since counties can be larger than cities, it stands to reason that a school district could be larger than the size of a city while being equal to the size of a county. And can be smaller than the size of a county while being equal to the size of a city.
So, even assuming that the original statement is taken to have the logical meaning you've interpreted, that meaning does not technically forbid school districts from being equal to the size of a county (as long as that county is larger than some city, so that we can still make the true statement "this district is larger than a city"), nor from being equal to the size of a city (as long as that city is smaller than some county, so that we can still make the true statement "this district is smaller than a county").
Because the `microsoft` group account is the owner of the repo. With group accounts, you can designate many individuals to have admin access to the repo, but the actions taken by those admins will be attributed to the group account that owns the repo. (Because presumably the rest of the admins agree with the action taken, otherwise they would undo/revert it).
yes, which is why Monad should be an interface that types like List, Option, Result etc implement, instead of flatMap being just a random discrete function that exists on random types by accident, with no common abstract link between them
Kotlin, Java, basically every other language except Haskell, F# etc didn't get that memo
reply