In symbolic logic, the universal quantifier symbol ∀ (a turned “A” in a sans-serif font, Unicode U+2200) is used to indicate universal quantification.
If the herdsman overlook something, and an accident happen in the stable, then the herdsman is at fault for the accident which he has caused in the stable, and he must compensate the owner for the cattle or sheep.