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
Prenex normal form Prenex normal form A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers and bound variables, called the prefix, followed by a quantifier-free part, called the matrix. Every formula in classical logic is equivalent to a formula in prenex normal form. For example, if formula_1, formula_2, and formula_3 are quantifier-free formulas with the free variables shown then is in prenex normal form with matrix formula_5, while is logically equivalent but not in prenex normal form. Every first-order formula is logically equivalent (in classical logic) to some formula in prenex normal