Medicine in ancient Rome mother's milk (or colostrum) is actually a rather effective treatment. Colostrum has been shown to prevent the growth of "Staphylococcus" bacteria, which are a known cause of several types of infection. Colostrum is about half as effective as some antibiotics prescribed to patients today. Colostrum is also effective against the bacterium chlamydia; this is the cause of a sexually transmitted disease and also can cause severe sight impairment, if not blindness. Thus, colostrum was a rather effective treatment in the ancient world – perhaps that is why it was viewed as a divine treatment. The interpretation of dreams was another
Conjunctive normal form formula_30 and formula_31 with a new variable, and repeating as often as necessary. To convert first-order logic to CNF: As an example, the formula saying ""Anyone who loves all animals, is in turn loved by someone"" is converted into CNF (and subsequently into clause form in the last line) as follows (highlighting replacement rule redices in formula_71): Informally, the skolem function formula_72 can be thought of as yielding the person by whom formula_60 is loved, while formula_74 yields the animal (if any) that formula_60 doesn't love. The 3rd last line from below then reads as ""formula_60 doesn't love the animal